Lean 3
Lean
のバージョン3系
Lean 3系はメンテナンスフェーズ
Lean 3 基礎
ドキュメント:
The Lean Reference Manual — The Lean Reference Manual 3.3.0 documentation
Lean 3でのHoTT実装？
hott3/src/hott/init/meta/support.lean at master · gebner/hott3